Improving the Visualization of Alloy Instances
نویسندگان
چکیده
منابع مشابه
Domain-Specific Visualization of Alloy Instances
Motivation Alloy is a modelling language based on first order logic and relational calculus combining the precision of formal specifications with powerful automatic analysis features [3]. The automatic analysis is done by the Alloy Analyzer, a tool capable of finding satisfiable instances for given Alloy models in a finite domain space using Sat-solving. The utility of this instance finding mec...
متن کاملExtending Alloy with Partial Instances
Kodkod, the backend of Alloy4, incorporates new features for solving models where part of the solution, that is, a partial instance, is already known. Although Kodkod has had this functionality for some time, it is not explicitly available to the modeller through the Alloy language syntax. We propose an extension to the Alloy language to make partial instances explicitly available to the Alloy ...
متن کاملmodification of nanoclay for improving the physico-mechanical properties of dental adhesives
هدف اصلی این مطالعه تهیه یک سامانه نوین چسب عاجی دندانی بر پایه نانورس پیوند شده با پلی متاکریلیک اسید، نانورس پیوند شده با پلی اکریلیک اسید، مخلوط نانوسیلیکا و نانورس پیوند شده با پلی متاکریلیک اسید، مخلوط نانوسیلیکا و نانورس پیوند شده با پلی اکریلیک اسید و نانورس پیوند شده با کیتوسان اصلاح شده با گلایسیدیل متاکریلات است. پیوند پلی متاکریلیک اسید و پلی اکریلیک اسید بر ری سطح نانورس در حضور و ...
Improving the Locality of Program Instances by Local Search
In memory hierarchies, programs can be speeded up by increasing their degree of locality. This paper proposes an algorithm that optimizes the locality of program instances. Input is a set of statement instances, where each statement instance is characterized by the sequence of data it accesses. The algorithm orders the statement instances, thereby respecting data dependencies, and groups the da...
متن کاملImproving Radar Visualization System
This work develops a system to visualize the information for radar systems interfaces. It is a flexible, portable software system that allows to be used for radars that have different technologies and that is able to be adapted to the specific needs of each aplication domain in an eficient way. Replacing the visualization and processing units on existing radar platforms by this new system, a pr...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2018
ISSN: 2075-2180
DOI: 10.4204/eptcs.284.4